21. FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
Author: Jeannette M. Wing, Jim Woodcock, Jim Davies )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Application software -- Development
Classification :
QA
76
.
L28
Vol
.
1708-1709
22. FME 2002 :
Author: Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
Classification :
QA76
.
76
.
D47
I593
2002
23. FME 2003 :
Author: Keijiro Araki, Stefania Gnesi, Dino Mandrioli
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
Classification :
QA76
.
76
.
D47
I593
2003
24. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
Author: Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
Classification :
QA
76
.
L28
Vol
.
2805
25. FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
Author: Lars-Henrik Eriksson, Peter Alexander Lindsay )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
Classification :
QA
76
.
L28
Vol
.
2391
26. FMICS'05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05
Author: editors, Tiziana Margaria & Mieke Massink; sponsored by ACM SIGSOFT
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(
Classification :
QA
76
.
9
.
F67I53
2005
27. FMSE'05 : proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineerign, November 11, 2005, Fairfax, Virginia, USA )co-located with CCS 2005(
Author: Ralf Kusters & John Mitchell, editors; sponsored by ACM Special Interest Group on Security, Audit & Control )SIGSAC(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer security,Congresses ، Formal methods )Computer science(
Classification :
QA
76
.
9
.
A25A326
2005
28. FMSE'03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03
Author: edited by Michael Backes, David Basin & Michael Waidner
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer security,Congresses ، Formal methods )Computer science(
Classification :
QA
76
.
9
.
A25A326
2003
29. FMSE'04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, Washington, DC, USA, October 29, 2004 : co-located with CCS 2004
Author: Sponsored by ACM SIGSAC; General co-chairs : Michael Backes, David Basin & Michael Waidner
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer security,Congresses ، Formal methods )Computer science(
Classification :
QA
76
.
9
.
A25A326
2004
30. FORMS/FORMAT 2010
Author: Eckehard Schnieder, Gaeza Tarnai, editors
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Transportation, Safety measures, Data processing, Congresses,Formal methods (Computer science), Congresses,System safety, Congresses
Classification :
TA
،
1005
،.
S97
،
2011
31. FORMS/FORMAT 2010
Author: / Eckehard Schnieder, Gaeza Tarnai, editors
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Transportation, Safety measures, Data processing, Congresses,Formal methods (Computer science), Congresses,System safety, Congresses
Classification :
E-BOOK
32. Finite-state methods and natural language processing
Author: / Anssi Yli-Jyrea ... [et al.], (Eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Natural language processing (Computer science), Congresses,Formal methods (Computer science), Congresses,Grammar, Comparative and general, Morphology, Data processing, Congresses
Classification :
QA76
.
9
.
N38F76
2010
33. Formal Aspects of Component Software
Author: \ [Edited by] Christiano Braga, Peter Csaba Ölveczky
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار مولفهای -- کنگره ها
Classification :
QA
76
.
9
.
F67
2016
E-Book
,
34. Formal Aspects of Component Software
Author: \ [edited by] Ivan Lanese, Eric Madelaine.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار مولفهای -- کنگره ها
Classification :
QA
76
.
9
.
F67
2015
E-Book
,
35. Formal Concept Analysis :
Author: Diana Cristea, Florence Le Ber, Baris Sertkaya (Eds.) (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Formal methods (Computer science), Congresses.,Logic, Symbolic and mathematical, Congresses.,Computer science-- Mathematics.,Formal methods (Computer science),Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
M35
I58
2019eb
36. Formal Concept Analysis
Author: \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,منطق ریاضی-- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگره ها
Classification :
QA
76
.
9
.
F67
2015
E-Book
,
37. Formal Methods
Author: \ [edited by] Christiano Braga, Narciso Marti-Oliet.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها
Classification :
.
F67
2015
E-Book
,
38. Formal Methods for Industrial Critical Systems
Author: \ Manuel Núñez , Matthias Güdemann (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها ,برنامههای کامپیوتری -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
9
.
F6
2015
E-Book
,
39. Formal Techniques for Distributed Objects, Components, and Systems
Author: \ Susanne Graf , Mahesh Viswanathan (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.,Computer network protocols -- Congresses.,دادهپردازی -- پردازش توزبع شده -- کنگره ها ,روشهای صوری (کامپیوتر) -- کنگره ها ,پروتکلهای شبکه کامپیوتری -- کنگره ها
Classification :
QA
76
.
9
.
D5F6
2015
E-Book
,
40. Formal Techniques for Safety-Critical Systems
Author: [edited by] Cyrille Artho, Peter Csaba Olveczky.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,System safety -- Congresses.,Systems engineering -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها,ایمنی سیستمها -- کنگره ها ,مهندسی سیستم ها -- گنگره ها
Classification :
QA
76
.
9
.
F6
2015
E-Book
,
